Stichworte: Abkürzung Bad Reichenhall